eta reduction

eta reduction in Technology